More from this Author

Computer Science Logic

by Workshop on Computer Science Logic Staff, Peter G. Clote (Editor), Helmut Schwichtenberg (Editor), European Association for Computer Science Logic Staff, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)